Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix file.touch. #3529

Merged
merged 2 commits into from
Nov 14, 2023
Merged

Fix file.touch. #3529

merged 2 commits into from
Nov 14, 2023

Conversation

smimram
Copy link
Member

@smimram smimram commented Nov 13, 2023

The function file.touch raises "Bad file descriptor in close()" when called, as illustrated with this test.

@smimram smimram requested a review from toots November 13, 2023 15:24
@toots toots enabled auto-merge November 14, 2023 18:28
@toots toots added this pull request to the merge queue Nov 14, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Nov 14, 2023
@toots toots added this pull request to the merge queue Nov 14, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Nov 14, 2023
@toots toots added this pull request to the merge queue Nov 14, 2023
Merged via the queue into main with commit 06b53b7 Nov 14, 2023
26 checks passed
@toots toots deleted the file.touch branch November 14, 2023 21:14
toots added a commit that referenced this pull request Nov 16, 2023
Co-authored-by: Romain Beauxis <toots@rastageeks.org>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants